| 翻訳と辞書 |
| Least-upper-bound property ： ウィキペディア英語版 |
Least-upper-bound property
In mathematics, the least-upper-bound property (sometimes the completeness or supremum property)〔Bartle and Sherbert (2011) define the "completeness property" and say that it is also called the "supremum property". (p. 39)〕 is a fundamental property of the real numbers and certain other ordered sets. A set has the least-upper-bound property if and only if every non-empty subset of with an upper bound has a supremum in .
The least-upper-bound property is one form of the completeness axiom for the real numbers, and is sometimes referred to as Dedekind completeness.〔Willard says that an ordered space "X is Dedekind complete iff every subset of X having an upper bound has a least upper bound." (pp. 124-5, Problem 17E.)〕 It can be used to prove many of the fundamental results of real analysis, such as the intermediate value theorem, the Bolzano–Weierstrass theorem, the extreme value theorem, and the Heine–Borel theorem. It is usually taken as an axiom in synthetic constructions of the real numbers (see least upper bound axiom), and it is also intimately related to the construction of the real numbers using Dedekind cuts.
In order theory, this property can be generalized to a notion of completeness for any partially ordered set. A linearly ordered set that is dense and has the least upper bound property is called a linear continuum.
==Statement of the property==
抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』
■ウィキペディアで「Least-upper-bound property」の詳細全文を読む
スポンサード リンク
| 翻訳と辞書 : 翻訳のためのインターネットリソース |
Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.
|
|